-
1 логике
-
2 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
3 perverted
pəˈvə:tɪd прил.
1) извращенный;
искаженный by a perverted logic ≈ логике вопреки Syn: unnatural
2) страдающий половым извращением искаженный;
извращенный;
испорченный - the * age развращенный /испорченный/ век - * intellect извращенный ум - * notions извращенные /неправильные/ представления страдающий половым извращением ~ извращенный;
искаженный;
by a perverted logic логике вопреки perverted p. p. от pervert ~ извращенный;
искаженный;
by a perverted logic логике вопреки ~ страдающий половым извращениемБольшой англо-русский и русско-английский словарь > perverted
-
4 logistical
adjective mil.относящийся к тылу, тыловой; logistical number номер, присваиваемый грузу при автоперевозке; logistical support материально-техническое обеспечение* * *1 (a) тыловой2 (r) относящийся к тылу* * *относящийся к математической логике, логистике* * *adj. относящийся к математической логике, вычислительный* * *I прил. 1) относящийся к математической логике 2) вычислительный II прил.; воен. относящийся к тылу -
5 logical
ˈlɔdʒɪkəl прил.
1) логический, относящийся к логике
2) логический, логичный, последовательный, связный It is logical to assume that they will attend. ≈ Логично думать, что они явятся.
3) способный рассуждать логически (о человеке)
4) рациональный, разумный Syn: rational, reasonable логический;
относящийся к логике - * symbol( специальное) символ логической связи логичный, последовательный - * conclusion логический вывод - * mind логичный /последовательный/ ум неизбежно вытекающий( из предыдущего) - * assumption законное предположение разумный - * behaviour разумное поведение( компьютерное) логический - * addition логическое сложение, дизъюнкция - * multiplication логическое умножение, конъюнкция logical логический ~ логичный, последовательный ~ логичный ~ последовательный -
6 logical appeal
рекл. воззвание [призыв\] к логике* (рекламный подход, при котором предложение товаров и услуг базируется на обращении к логике потребителя; при таком подходе товары или услуги представляются как логический выбор потребителя, напр., если соблюдающий диету потребитель хочет пива, то его логическим выбором будет светлое пиво)Syn:See:* * * -
7 symbolic logic
символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике).* * *символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике). -
8 according to this logic
Общая лексика: согласно этой логике, следуя этой логикеУниверсальный англо-русский словарь > according to this logic
-
9 bilogical
Вычислительная техника: билогический (основанный на бинарной логике), биологический (основанный на бинарной логике) -
10 juxtapose
[ˌdʒʌkstə'pəʊz]1) Общая лексика: бок о бок, накладывать друг на друга, поместить рядом, помещать бок о бок, помещать рядом, рядом, сопоставить, сопоставлять2) Компьютерная техника: соединить3) Техника: располагать рядом, сближать, соединять (в логике), сопоставлять (в логике), размещать рядом (напр. для сравнения)4) Математика: записывать рядом, объединять, приводить в соприкосновение, соединять, соединяться, сочленять5) Автомобильный термин: накладывать6) Текстиль: сближать раппорты рисунка7) Вычислительная техника: выводить без перекрытия8) Деловая лексика: сравнивать -
11 logician
1) Общая лексика: логик2) Математика: специалист по логике3) Вычислительная техника: специалист по логике или логическому проектированию, специалист по логическому проектированию4) Программирование: специалист в области логики -
12 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
13 two-valued
[ˌtuː'væljuːd]1) Общая лексика: двузначный (о логике), имеющий истинностные значения "истина" и "ложь"2) Логика: двузначный (о логике и т.п.)3) Макаров: двойственный -
14 Z
2) символ для обозначения высокоимпедансного состояния в-трёхзначной логике, символ для обозначения состояния Z в-трёхзначной логике3) (допустимое) буквенное обозначение i-го (2≤i≤26) логического диска, съёмного устройства памяти или компакт-диска ( в IBM-совместимых компьютерах) -
15 logical
adjective1) логический2) логичный, последовательный* * *1 (a) логический; логичный2 (n) логически последовательное изложение* * *логический, относящийся к логике* * *['log·i·cal || 'lɑdʒɪkl /'lɒd-] adj. логический, логичный, последовательный* * *логиченлогическийлогичныйпоследовательный* * *1) логический, относящийся к логике 2) логический -
16 perverted
1. past participle of pervert 2.2. adjective1) извращенный; искаженный; by a perverted logic логике вопреки2) страдающий половым извращением* * *(a) извращенный; искаженный; испорченный; страдающий половым извращением* * *извращенный, искаженный* * *[pə(r)'vɜrtɪd /-'vɜːt-] adj. искаженный, извращенный, страдающий сексуальными извращениями* * *извращенныйискаженныйискушенискушенныйобольщенобольщенныйпрельщенпрельщенныйсоблазненсоблазненныйсовращен* * *извращенный, искаженный (о логике, поведении) -
17 logic
1) логикаа) в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (program logic, software logic) и об аппаратной логике (hardware logic)см. тж. Boolean logic, crisp logic, formal logic, fuzzy logic, inductive logic, mathematical logic, predicate logic, propositional logic, symbolic logic2) логические схемы (вентили), схемотехникасхемы для реализации логических (булевых) операций (см. logic circuit); например, VLSI logic - схемотехника СБИСсм. тж. arbitration logic, binary logic, clockless logic, combinational logic, control logic, digital logic, discrete logic, interconnection logic, logic board, logic analyzer, logic chip, logic element, logic gate, negative logic, optical logic, positive logic, random logic, sequential logic, ternary logic3) (см. тж. logical) - логическийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic
-
18 perverted
[pə'vɜːtɪd], [pɜː-]прил.извращённый, искажённый (о логике, поведении)by a perverted logic — по искажённой, извращённой логике
Syn: -
19 perverted
[pəˈvə:tɪd]perverted извращенный; искаженный; by a perverted logic логике вопреки perverted p. p. от pervert perverted извращенный; искаженный; by a perverted logic логике вопреки perverted страдающий половым извращением -
20 strapped in logic
жестко замонтированный в логике
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > strapped in logic
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия